logic verification system
英 [ˈlɒdʒɪk ˌvɛrɪfɪˈkeɪʃən ˈsɪstəm]
美 [ˈlɑːdʒɪk ˌvɛrəfəˈkeɪʃən ˈsɪstəm]
网络 逻辑验证系统; 逻辑检验系统
双语例句
- The second level of verification named logic verification, which processes model checking on result of logical synthesis based on the completion of system verification;
第二层次是逻辑级检验，是在系统级验证的基础上，对已完成的逻辑综合结果进行模型检验，以确保系统状态正确，以及所设计的逻辑结构能正确合理地实现所需要的状态； - The research presents that the CA attestation system from the high abstract description to low concrete implementation stepwise refined can be realized in the temporal logic language XYZ/ E, which provides a new notion and method for the verification and analysis of the CA attestation system.
本文的研究结果说明：利用时序逻辑语言XYZ/E可以很好地将CA认证系统从高层的抽象描述逐步求精到低层的具体实现，为CA认证系统验证和分析提供了新的思路和方法。 - The thesis studies on some key technologies such as model validation, credibility evaluation and logic behavior formal verification for distributed interactive simulation in the simulation of Torpedo Homing System.
本文跟踪总结了国内外相关研究成果，结合鱼雷自导系统仿真实践，对仿真系统VV&A的理论方法及其应用等关键问题进行了研究，对分布交互仿真系统的逻辑行为校核方法进行了探索性研究。 - It is proved that this type of counter has correct logic function according to EDA simulation and experimental verification with FPGA and can be normally used in the design of digital system.
经EDA软件模拟仿真和FPGA硬件验证，表明该计数器具有正确的逻辑功能，能够正常地应用于数字系统的设计。 - Programmable logic device implements the drive signal distribution and dead-time control. A detailed theoretical analysis, simulation and test verification is carried out to semiconductor laser temperature control system from the device selection, control method, and software and hardware design.
利用可编程逻辑器件实现了驱动信号的分配和死区时间的控制。本文从器件选型、控制方法研究和软硬件设计方面对半导体激光器的温控系统进行了详细的理论分析、仿真研究和试验验证。